1. Handbook of Logic and Proof Techniques for Computer Science

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Logic design.,Mathematics.

Classification :
QA76
.
B978
2002

2. Logical Methods

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Computer science,Logic design,Mathematics,علوم کامپیوتر,طراحی منطقی,ریاضیات

Classification :
E-Book
,

3. Logical Methods

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.,Mathematics.